English primitive recursion: перевод на другие языки